
  // Tools button
  @mixin tools_button($image,$first,$last) {
    width:28px;
    height:29px;
    text-indent:-9999px;
    border-right:1px solid #3f3d43;
    border-left: 1px solid #1c1d20;

    @if $first {
      width:29px;
      -webkit-border-top-left-radius: 3px;
      -webkit-border-bottom-left-radius: 3px;
      border-left:none;
    } @else {}
    @if $last {
      width:29px;
      -webkit-border-top-right-radius: 3px;
      -webkit-border-bottom-right-radius: 3px;
      border-right:none;
    } @else {}
    background:$image,-webkit-gradient(linear,50% 0%,50% 100%,from(#36383C),to(#232427));

    &:hover {
      background:$image,-webkit-gradient(linear,50% 0%,50% 100%,from(#000),to(#1A1B1E));
    }
    &.selected {
      background:$image,-webkit-gradient(linear,50% 0%,50% 100%,from(#000),to(#1A1B1E));
    }
  }


  @mixin box-shadow {
    -webkit-box-shadow: 0px 0px 5px #000;
  }

  @mixin border-radius($radius) {
    border-radius:$radius;
    -moz-border-radius:$radius;
    -webkit-radius:$radius;
  }